Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
861	Monotonic Abstraction in Parameterized Verification Parosh Aziz Abdulla1 Department of Information Technology Uppsala University Sweden Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2009-12-16 16:43:42 Diagrams Petri net Transition Monotonic function FO Abstraction Computer science Mathematics Models of computation Concurrency
862	PERSPECTIVES monomodal Gaussian distribution peaked at a metallicity of −0.8) is consistent with a bimodal distribution in color. The reason for the nonlinearity of the colormetallicity relation goes back to the evolut Add to Reading List Source URL: www.ucl.ac.uk Language: English - Date: 2013-01-15 06:23:57 Physics Models of computation Quantum mechanics Computational complexity theory Quantum computer Quantum algorithm Quantum operation Qubit Quantum gate Theoretical computer science Quantum information science Applied mathematics
863	Proceedings of the 4th International Modelica Conference, Hamburg, March 7-8, 2005, Gerhard Schmitz (editor) ˚rz´en, I. Dressler Add to Reading List Source URL: elib.dlr.de Language: English - Date: 2013-12-12 14:03:00 UML diagrams Automata theory Digital electronics Object-oriented programming Theoretical computer science Modelica Sequential function chart Dymola UML state machine Models of computation Software engineering Computing
864	Iasonas Petras Contact Information Department of Computer Science Princeton University Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2014-03-31 17:04:53 Computational complexity theory Quantum cryptography Models of computation Joseph F. Traub Quantum computer Information-based complexity Quantum algorithm Quantum complexity theory Quantum Turing machine Theoretical computer science Applied mathematics Quantum information science
865	Conceptual Modeling of Concurrent Systems through Stepwise Abstraction Using Petri Net Morphisms Boleslaw Mikolajczak & Zuyan Wang Computer and Information Science Department Add to Reading List Source URL: www.cis.umassd.edu Language: English - Date: 2004-01-08 17:30:36 Computer science Petri Petri nets Science Concurrency Models of computation Diagrams
866	Context-Sensitive Diagnosis of Discrete-Event Systems Add to Reading List Source URL: ijcai.org Language: English - Date: 2011-06-29 07:12:56 Medical diagnosis Diagnosis Fault Knowledge Automata theory Models of computation Finite-state machine
867	Quantum Search Algorithms arXiv:quant-ph/0504012v1 3 Apr 2005 Andris Ambainis∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-01 04:35:35 Computational complexity theory Quantum information science Models of computation Quantum walk Quantum computer Randomized algorithm Amplitude amplification Time complexity Decision tree model Theoretical computer science Applied mathematics Quantum algorithms
868	C:/Documents and Settings/Administrator/Desktop/Gradu/Gradu.dvi Add to Reading List Source URL: ethesis.helsinki.fi Language: English - Date: 2013-01-14 08:30:19 Models of computation Applied mathematics Quantum information science Quantum information theory Quantum field theory Topological quantum computer Quantum dot Quantum mechanics Quantum information Physics Theoretical computer science Classes of computers
869	A physical analysis of mechanical computability Steven Lindell Department of Computer Science Haverford College 25 May 2006 Add to Reading List Source URL: www-old.newton.ac.uk Language: English - Date: 2013-04-15 10:25:44 Theory of computation Computability theory Turing machine Models of computation Alan Turing Algorithm Computability Computational complexity theory Computer Theoretical computer science Computer science Applied mathematics
870	Dissertation On the Relative Descriptional Complexity of Regular Expressions and Finite Automata Stefan Gulan Add to Reading List Source URL: ubt.opus.hbz-nrw.de Language: English - Date: 2012-01-09 05:11:16 Formal languages Computer science Applied mathematics Pattern matching Regular expression Finite-state machine Nondeterministic finite automaton Automata theory Models of computation Theoretical computer science

UPDATE